all_values_other_than_false_succeed if {
    true         # true
    3 == 3       # true
    "a" == "a"   # true
    3.14         # number
    -1           # number
    abs(-1)      # number
    3 + 4 * 10   # number
    "a string"   # string
    upper("str") # string
    [1, "a"]     # array
    {1, "a"}     # set
    {"k": "v"}   # object
}

even_falsy_values_succeed if {    # ie, there is no falsy in Rego
    0            # zero
    ""           # empty string
    []           # empty array
    {}           # empty object
    {1} - {1}    # empty set computed by set difference
    null         # JSON null value of type null
}
